Synthesizing Controllers for Multi-lane Traffic Maneuvers
نویسندگان
چکیده
The dynamic behavior of a car can be modeled as a hybrid system involving continuous state changes and discrete state transitions. However, we show that the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthesis to derive the dynamic behavior of a lane-change controller. Thereby, we contrast the setting of interleaving semantics and synchronous concurrent semantics. We also consider the possibility of exchanging knowledge between neighboring cars in order to come up with the right decisions.
منابع مشابه
Lane Change Trajectory Model Considering the Driver Effects Based on MANFIS
The lane change maneuver is among the most popular driving behaviors. It is also the basic element of important maneuvers like overtaking maneuver. Therefore, it is chosen as the focus of this study and novel multi-input multi-output adaptive neuro-fuzzy inference system models (MANFIS) are proposed for this behavior. These models are able to simulate and predict the future behavior of a Dri...
متن کاملIdentifying and Analyzing Stop and Go Traffic based on Asymmetric Theory of Driving Behavior in Acceleration and Deceleration
Stop and go traffic that leads to oscillate traffic flow frequently is observed on congestion flow. Unexpected reasons such as lane – changing maneuvers, lower speeds of leader vehicle and moving bottleneck cause stop and go traffic and amplifying delay and environment impacts. Stop and go traffic exactly can’t be modeled by traffic models, and also car following models based on kinematic flow ...
متن کاملLane Change Trajectory Model Considering the Driver Effects Based on MANFIS
The lane change maneuver is among the most popular driving behaviors. It is also the basic element of important maneuvers like overtaking maneuver. Therefore, it is chosen as the focus of this study and novel multi-input multi-output adaptive neuro-fuzzy inference system models (MANFIS) are proposed for this behavior. These models are able to simulate and predict the future behavior of a Driver...
متن کاملModeling Multi-Lane Traffic Flow with Queuing Effects
On the basis of assumptions about the behavior of driver-vehicle units concerning acceleration, deceleration, overtaking, and lane-changing maneuvers, a gas-kinetic traffic model for uni-directional multi-lane freeways is constructed. Queuing effects are explicitly taken into account in an overall manner. The resulting model is a generalization of Paveri-Fontana’s Boltzmann-like traffic model a...
متن کاملModeling and Simulation of Multi-Lane Traffic Flow
A most important aspect in the field of traffic modeling is the simulation of bottleneck situations. For their realistic description a macroscopic multilane model for uni-directional freeways including acceleration, deceleration, velocity fluctuations, overtaking and lane-changing maneuvers is systematically deduced from a gas-kinetic (Boltzmann-like) approach. The resulting equations contain c...
متن کامل